// These are global definitions